Linear group

Results: 750



#Item
271Metalogic / Model theory / Formal languages / Complexity classes / Logical syntax / Linear temporal logic / Interpretation / FO / True quantified Boolean formula / Logic / Mathematics / Mathematical logic

A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo

Add to Reading List

Source URL: www.immerundewig.at

Language: English - Date: 2009-07-15 21:40:32
272Group theory / Linear algebra / Operator theory / Quantum mechanics / Multivariable calculus / Partial differential equation / Polynomial interpolation / Elliptic curve / Principal component analysis / Algebra / Mathematics / Mathematical analysis

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING Int. J. Numer. Meth. Engng 2008; 76:27–55 Published online 25 February 2008 in Wiley InterScience (www.interscience.wiley.com). DOI: [removed]nme.2309 An effici

Add to Reading List

Source URL: raphael.mit.edu

Language: English - Date: 2008-09-02 11:34:34
273Linear temporal logic / Temporal logic / Model theory

Decentralised LTL Monitoring Andreas Bauer1 and Yli`es Falcone2, 1 NICTA Software Systems Research Group and Australian National University Laboratoire d’Informatique de Grenoble, UJF Universit´e Grenoble I, France

Add to Reading List

Source URL: www.immerundewig.at

Language: English - Date: 2012-07-09 20:09:43
274Storage ring / Linear particle accelerator / Nuclear physics / W and Z bosons / CLEO / Nuclear reaction / KEK / Physics / Particle accelerators / Electron

Nuclear Science Group Professor : Jirohta Kasagi, Hajime Shimizu and Hiroyuki Hama Associate Professor : Tadaaki Tamae and Tsutomu Ohtsuki Assistant Professor : Hirohito Yamazaki, Fujio Hinode, Katsuhiro Shinto, and Hide

Add to Reading List

Source URL: www.phys.tohoku.ac.jp

Language: English - Date: 2014-04-22 22:33:53
275Mathematical analysis / Signal processing / Fourier analysis / Time series analysis / Cepstrum / Mel-frequency cepstrum / Speech recognition / Linear predictive coding / Digital filter / Digital signal processing / Mathematics / Algebra

IMPLEMENTATION AND ANALYSIS OF SPEECH RECOGNITION FRONT-ENDS V. Mantha, R. Duncan, Y. Wu, and J. Zhao Signal Group Department of Electrical and Computer Engineering Mississippi State University, Mississippi State, Missis

Add to Reading List

Source URL: dsp-book.narod.ru

Language: English - Date: 2013-05-06 00:57:02
276Geography of Oceania / Friends of Parks / South Australia / Conservation Volunteers Australia / Woorabinda /  Queensland / Bush regeneration / Stirling / Mount Lofty Ranges / Adelaide / States and territories of Australia / Geography of Australia / Conservation in Australia

No. 36 Summer[removed]Stirling Linear Park Management Strategy Report from Working Group In the last newsletter we reported on the

Add to Reading List

Source URL: users.esc.net.au

Language: English - Date: 2005-02-19 23:55:56
277Linear algebra / Model theory / Abstract algebra / Boolean algebra / Vector space / Continuous function / Structure / Tychonoff space / Orbifold / Algebra / Mathematics / Mathematical structures

Category Theory for Dummies (I) James Cheney Programming Languages Discussion Group

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-10-30 05:46:14
278Operations research / Convex optimization / Convex analysis / Mathematical optimization / Vector space / Lp space / Linear programming / Algebra / Mathematics / Linear algebra

Polar Operators for Structured Sparse Estimation Xinhua Zhang Machine Learning Research Group National ICT Australia and ANU [removed]

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2013-10-29 09:06:11
279Diamond Light Source / Daresbury Laboratory / Rutherford Appleton Laboratory / Plasma acceleration / Thomas Jefferson National Accelerator Facility / Electron / Accelerator / Linear particle accelerator / Cockcroft Institute / Physics / Particle accelerators / Science and Technology Facilities Council

I N S T I T U T E O F P H YS I C S IOP PAB GROUP NEWSLETTER Issue 10

Add to Reading List

Source URL: www.iop.org

Language: English - Date: 2015-02-03 09:30:02
280Group theory / Vector space / Vectors / Algebra / Mathematics / Linear algebra

Convex Multi-view Subspace Learning Martha White, Yaoliang Yu, Xinhua Zhang∗ and Dale Schuurmans Department of Computing Science, University of Alberta, Edmonton AB T6G 2E8, Canada {whitem,yaoliang,xinhua2,dale}@cs.ua

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2012-10-02 09:45:30
UPDATE